Rainbow Matchings and Hamilton Cycles in Random Graphs

Let $HP_{n,m,k}$ be drawn uniformly from all $k$-uniform, $k$-partite hypergraphs where each part of the partition is a disjoint copy of $[n]$. We let HP^{(\k)}_{n,m,k} be an edge colored version, where we color each edge randomly from one of \k colors. We show that if \k=n and $m=Kn\log n$ where $K$ is sufficiently large then w.h.p. there is a rainbow colored perfect matching. I.e. a perfect matching in which every edge has a different color. We also show that if $n$ is even and $m=Kn\log n$ where $K$ is sufficiently large then w.h.p. there is a rainbow colored Hamilton cycle in $G^{(n)}_{n,m}$. Here $G^{(n)}_{n,m}$ denotes a random edge coloring of $G_{n,m}$ with $n$ colors. When $n$ is odd, our proof requires m=\om(n\log n) for there to be a rainbow Hamilton cycle.Comment: We replaced graphs by k-uniform hypergraph

Partitioning random graphs into monochromatic components

Erd\H{o}s, Gy\'arf\'as, and Pyber (1991) conjectured that every $r$-colored complete graph can be partitioned into at most $r-1$ monochromatic components; this is a strengthening of a conjecture of Lov\'asz (1975) in which the components are only required to form a cover. An important partial result of Haxell and Kohayakawa (1995) shows that a partition into $r$ monochromatic components is possible for sufficiently large $r$-colored complete graphs. We start by extending Haxell and Kohayakawa's result to graphs with large minimum degree, then we provide some partial analogs of their result for random graphs. In particular, we show that if $p\ge \left(\frac{27\log n}{n}\right)^{1/3}$, then a.a.s. in every $2$-coloring of $G(n,p)$ there exists a partition into two monochromatic components, and for $r\geq 2$ if $p\ll \left(\frac{r\log n}{n}\right)^{1/r}$, then a.a.s. there exists an $r$-coloring of $G(n,p)$ such that there does not exist a cover with a bounded number of components. Finally, we consider a random graph version of a classic result of Gy\'arf\'as (1977) about large monochromatic components in $r$-colored complete graphs. We show that if $p=\frac{\omega(1)}{n}$, then a.a.s. in every $r$-coloring of $G(n,p)$ there exists a monochromatic component of order at least $(1-o(1))\frac{n}{r-1}$.Comment: 27 pages, 2 figures. Appears in Electronic Journal of Combinatorics Volume 24, Issue 1 (2017) Paper #P1.1

The Total Acquisition Number of Random Graphs

Let $G$ be a graph in which each vertex initially has weight 1. In each step, the weight from a vertex $u$ can be moved to a neighbouring vertex $v$, provided that the weight on $v$ is at least as large as the weight on $u$. The total acquisition number of $G$, denoted by $a_t(G)$, is the minimum possible size of the set of vertices with positive weight at the end of the process. LeSaulnier, Prince, Wenger, West, and Worah asked for the minimum value of $p=p(n)$ such that $a_t(\mathcal{G}(n,p)) = 1$ with high probability, where $\mathcal{G}(n,p)$ is a binomial random graph. We show that $p = \frac{\log_2 n}{n} \approx 1.4427 \ \frac{\log n}{n}$ is a sharp threshold for this property. We also show that almost all trees $T$ satisfy $a_t(T) = \Theta(n)$, confirming a conjecture of West.Comment: 18 pages, 1 figur

Large monochromatic components in expansive hypergraphs

A result of Gy\'arf\'as exactly determines the size of a largest monochromatic component in an arbitrary $r$-coloring of the complete $k$-uniform hypergraph $K_n^k$ when $k\geq 2$ and $r-1\leq k\leq r$. We prove a result which says that if one replaces $K_n^k$ in Gy\'arf\'as' theorem by any ``expansive'' $k$-uniform hypergraph on $n$ vertices (that is, a $k$-uniform hypergraph $H$ on $n$ vertices in which in which $e(V_1, \dots, V_k)>0$ for all disjoint sets $V_1, \dots, V_k\subseteq V(H)$ with $|V_i|>\alpha$ for all $i\in [k]$), then one gets a largest monochromatic component of essentially the same size (within a small error term depending on $r$ and $\alpha$). As corollaries we recover a number of known results about large monochromatic components in random hypergraphs and random Steiner triple systems, often with drastically improved bounds on the error terms. Gy\'arf\'as' result is equivalent to the dual problem of determining the smallest maximum degree of an arbitrary $r$-partite $r$-uniform hypergraph with $n$ edges in which every set of $k$ edges has a common intersection. In this language, our result says that if one replaces the condition that every set of $k$ edges has a common intersection with the condition that for every collection of $k$ disjoint sets $E_1, \dots, E_k\subseteq E(H)$ with $|E_i|>\alpha$ for all $i\in [k]$ there exists $e_i\in E_i$ for all $i\in [k]$ such that $e_1\cap \dots \cap e_k\neq \emptyset$, then the maximum degree of $H$ is essentially the same (within a small error term depending on $r$ and $\alpha$). We prove our results in this dual setting.Comment: 18 page